Linear Approximation of Continuous Systems with Trapezoid Step Functions
نویسندگان
چکیده
We introduce a novel abstract domain for the safe approximation of continuous functions in the context of abstract interpretationbased static analysis. The key-idea is to represent C + functions by a finite sequence of trapezoids. In this way, we get a strictly more precise approximation of the actual values with respect to existing approaches in the literature. Experimental results underline the effectiveness of the approach in terms of both precision and efficiency.
منابع مشابه
Continuous Discrete Variable Optimization of Structures Using Approximation Methods
Optimum design of structures is achieved while the design variables are continuous and discrete. To reduce the computational work involved in the optimization process, all the functions that are expensive to evaluate, are approximated. To approximate these functions, a semi quadratic function is employed. Only the diagonal terms of the Hessian matrix are used and these elements are estimated fr...
متن کاملApproximation of fixed points for a continuous representation of nonexpansive mappings in Hilbert spaces
This paper introduces an implicit scheme for a continuous representation of nonexpansive mappings on a closed convex subset of a Hilbert space with respect to a sequence of invariant means defined on an appropriate space of bounded, continuous real valued functions of the semigroup. The main result is to prove the strong convergence of the proposed implicit scheme to the unique solutio...
متن کاملOn the generalization of Trapezoid Inequality for functions of two variables with bounded variation and applications
In this paper, a generalization of trapezoid inequality for functions of two independent variables with bounded variation and some applications are given.
متن کاملOstrowski and Trapezoid Type Inequalities Related to Pompeiu’s Mean Value Theorem with Complex Exponential Weight
We present some inequalities of Ostrowski and trapezoid type with complex exponential weight, for complex-valued absolutely continuous functions. These inequalities are related to Pompeiu’s mean value theorem. Special cases of these inequalities are applied to obtain (i) some approximation results for the finite Fourier and Laplace transforms; (ii) refinements of the Ostrowski and trapezoid ine...
متن کاملA continuous approximation fitting to the discrete distributions using ODE
The probability density functions fitting to the discrete probability functions has always been needed, and very important. This paper is fitting the continuous curves which are probability density functions to the binomial probability functions, negative binomial geometrics, poisson and hypergeometric. The main key in these fittings is the use of the derivative concept and common differential ...
متن کامل